Прокопьев С. Е. «О ВОЗМОЖНОСТИ ИСПОЛЬЗОВАНИЯ ВРЕМЕННЫХ ЛОГИК И ВЕРИФИКАТОРОВ МОДЕЛЕЙ В ЗАДАЧЕ ОБНАРУЖЕНИЯ ОПАСНЫХ ОТКЛОНЕНИЙ СИСТЕМЫ» // Прикладная дискретная математика 2010. №1(7) C.37-42
Прокопьев С. Е. «Поиск упрощенной модели протоколов инфраструктурыцифровой подписи с использованием верификаторов моделей » // Прикладная дискретная математика 2009. №1(3) C.79-92